type checking

[taip ˈtʃekiŋ]
  • type checking
  • 释义

    [计] 类型检验;

纠错 数据更新时间:2026-04-18 17:17:38
1、

These settings are important for speed and type checking.

这些设定对于类型检查和绘制速度来说非常重要.

互联网摘选

2、

C is not a strongly-typed language, but as it has evolved, its type-checking has been strengthened.

C语言不是一种强类型的语言, 但随着它的发展, 其类型检查机制已经得到了加强.

互联网摘选

3、

Union types require careful handling because of type checking.

由于类型检查,联合类型要求进行小心地处理。

provided by jukuu

4、

In C ++ name lookup happens before type checking.

在C++中,名字查找发生在类型检查之前.

互联网摘选

5、

We all know about type checking, separate compilation, user-defined types ( classes today), and abstraction.

我们都知道类型检查,独立编译,自定义类型(现在的类)和抽象。

互联网摘选

6、

He would have liked stronger static type checking of template arguments.

他本来想要更强的模板参数的静态类型检验.

互联网摘选

7、

Directed by this architecture, four main process phases ( lexical/ grammar analysis, conversion between surface grammar and core grammar, type checking and analyzing, evaluation.) are described.

简要介绍了基于该体系结构所实现的XQuery处理引擎的词法/语法解析、语法转换、类型检查和分析、赋值计算等四个处理阶段涉及的主要内容。

互联网摘选

8、

C ++ Be a static data type checking, and support for multiple programming paradigms common programming languages.

C++是一种静态数据类型检查的, 支持多重编程范式的通用程序设计语言.

网络文摘精选

9、

Adopting said apparatus, the on-line conductivity meter in water-steam system of unit no. 1 in Huaneng Rizhao Power Plant has been checked, and comparison with desk type checking apparatus in our country being carried out.

使用该装置对华能日照电厂1号机组水汽系统在线电导率表进行了检验,并与国内台式检验装置进行了比较。

互联网摘选

10、

The + operator also must perform type checking and conversion in some cases, which reduces performance.

运算符在某些情况下还必须执行类型检查和转换, 这会降低性能.

互联网摘选

11、

This paper describes the meta interpretation of the typed object oriented logic language LKO, with emphasis on the inheritance algorithms for object state, constraint and method, and the unification algorithms for clause interpretation, type inference and type checking.

本文介绍类型化面向对象逻辑语言LKO的元级解释技术,主要包括对象约束、状态、方法的继承算法,以及子句解释、类型推理和检查的多种合一算法。

互联网摘选

12、

In chapter eight we add dynamic type checking to catch our mistakes earlier on.

在第八章我们增加动态类型检测来及早的捕获错误.

互联网摘选

13、

By using a cast, the programmer turns off or dampens normal type-checking ( Section 2.3 , p . 44 ).

强制类型转换关闭或挂起了正常的类型检查 ( 第2.3节 ).

互联网摘选

14、

The proposed integrity information flow mechanism can be efficiently implemented by static type checking.

所建立的完整性信息流控制机制可通过静态类型检验高效实现。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索
  • juicy[ˈdʒuːsi] adj.多汁的;有趣的;刺激性强的;报酬多的;
  • join[dʒɔɪn] v.加入…之中;加入;参与;连接;会合;上(车等);n.连接处;
  • Xcode 项目;创建
  • repair[rɪˈpeə(r)] v.修理,修补;补救;前去;n.修理;修补;
  • fireworks[ˈfaɪəwɜːks] n.烟火;烟火( firework的名词复数 );烟花;烟火表演;烟花表演;
  • behaviour[bɪˈheɪvjə(r)] n.行为;态度;行为方式;运动方式;性能;
  • gpt abbr.grams per tex 每特克数;glutamic-pyruvate transaminase 谷-丙转氨酶;xanthine-guanine phosphoribosyl transferase 黄嘌呤-鸟嘌呤磷酸核糖基转移酶(科技符号);gallons per ton 加仑/吨;
  • blue lagoon[bluː ləˈɡuːn] 蓝色泻湖;蓝湖;蓝泻湖;蓝色珊瑚礁;蓝礁湖;
  • accompany[əˈkʌmpəni] vt.陪伴,陪同;附加,补充;与…共存;为…伴奏;vi.伴奏;
  • underneath[ˌʌndəˈniːθ] adv.在下面,在底下;在下面,在下层;prep.在…之下;在下面;在…下面;在…领导或控制下;
  • bond[bɒnd] n.纽带;联系;债券;保释金;v.使结合;建立互信关系;与…紧密联系;与…黏合;
  • abrupt[əˈbrʌpt] adj.突然的,意外的;无理的,唐突的;不连贯的;陡峭的;

微语录(www.volg.cn)为您提供在线词典、英语翻译、单词大全、英译汉、汉译英等英语服务!可通过lj:关键词格式搜索句子,如lj:affect,搜索affect相关的双语例句!

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈